Optimal. Leaf size=168 \[ \frac {(458 d-7 e) \log \left (5 x^2+2 x+3\right )}{250 \left (5 d^2-2 d e+3 e^2\right )}-\frac {(423 d-1367 e) \tan ^{-1}\left (\frac {5 x+1}{\sqrt {14}}\right )}{125 \sqrt {14} \left (5 d^2-2 d e+3 e^2\right )}+\frac {\left (4 d^4+5 d^3 e+3 d^2 e^2-d e^3+2 e^4\right ) \log (d+e x)}{e^3 \left (5 d^2-2 d e+3 e^2\right )}-\frac {x (20 d+33 e)}{25 e^2}+\frac {2 x^2}{5 e} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.19, antiderivative size = 168, normalized size of antiderivative = 1.00, number of steps used = 6, number of rules used = 5, integrand size = 38, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.132, Rules used = {1628, 634, 618, 204, 628} \[ \frac {(458 d-7 e) \log \left (5 x^2+2 x+3\right )}{250 \left (5 d^2-2 d e+3 e^2\right )}+\frac {\left (3 d^2 e^2+5 d^3 e+4 d^4-d e^3+2 e^4\right ) \log (d+e x)}{e^3 \left (5 d^2-2 d e+3 e^2\right )}-\frac {(423 d-1367 e) \tan ^{-1}\left (\frac {5 x+1}{\sqrt {14}}\right )}{125 \sqrt {14} \left (5 d^2-2 d e+3 e^2\right )}-\frac {x (20 d+33 e)}{25 e^2}+\frac {2 x^2}{5 e} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 204
Rule 618
Rule 628
Rule 634
Rule 1628
Rubi steps
\begin {align*} \int \frac {2+x+3 x^2-5 x^3+4 x^4}{(d+e x) \left (3+2 x+5 x^2\right )} \, dx &=\int \left (\frac {-20 d-33 e}{25 e^2}+\frac {4 x}{5 e}+\frac {4 d^4+5 d^3 e+3 d^2 e^2-d e^3+2 e^4}{e^2 \left (5 d^2-2 d e+3 e^2\right ) (d+e x)}+\frac {7 d+272 e+(458 d-7 e) x}{25 \left (5 d^2-2 d e+3 e^2\right ) \left (3+2 x+5 x^2\right )}\right ) \, dx\\ &=-\frac {(20 d+33 e) x}{25 e^2}+\frac {2 x^2}{5 e}+\frac {\left (4 d^4+5 d^3 e+3 d^2 e^2-d e^3+2 e^4\right ) \log (d+e x)}{e^3 \left (5 d^2-2 d e+3 e^2\right )}+\frac {\int \frac {7 d+272 e+(458 d-7 e) x}{3+2 x+5 x^2} \, dx}{25 \left (5 d^2-2 d e+3 e^2\right )}\\ &=-\frac {(20 d+33 e) x}{25 e^2}+\frac {2 x^2}{5 e}+\frac {\left (4 d^4+5 d^3 e+3 d^2 e^2-d e^3+2 e^4\right ) \log (d+e x)}{e^3 \left (5 d^2-2 d e+3 e^2\right )}-\frac {(423 d-1367 e) \int \frac {1}{3+2 x+5 x^2} \, dx}{125 \left (5 d^2-2 d e+3 e^2\right )}+\frac {(458 d-7 e) \int \frac {2+10 x}{3+2 x+5 x^2} \, dx}{250 \left (5 d^2-2 d e+3 e^2\right )}\\ &=-\frac {(20 d+33 e) x}{25 e^2}+\frac {2 x^2}{5 e}+\frac {\left (4 d^4+5 d^3 e+3 d^2 e^2-d e^3+2 e^4\right ) \log (d+e x)}{e^3 \left (5 d^2-2 d e+3 e^2\right )}+\frac {(458 d-7 e) \log \left (3+2 x+5 x^2\right )}{250 \left (5 d^2-2 d e+3 e^2\right )}+\frac {(2 (423 d-1367 e)) \operatorname {Subst}\left (\int \frac {1}{-56-x^2} \, dx,x,2+10 x\right )}{125 \left (5 d^2-2 d e+3 e^2\right )}\\ &=-\frac {(20 d+33 e) x}{25 e^2}+\frac {2 x^2}{5 e}-\frac {(423 d-1367 e) \tan ^{-1}\left (\frac {1+5 x}{\sqrt {14}}\right )}{125 \sqrt {14} \left (5 d^2-2 d e+3 e^2\right )}+\frac {\left (4 d^4+5 d^3 e+3 d^2 e^2-d e^3+2 e^4\right ) \log (d+e x)}{e^3 \left (5 d^2-2 d e+3 e^2\right )}+\frac {(458 d-7 e) \log \left (3+2 x+5 x^2\right )}{250 \left (5 d^2-2 d e+3 e^2\right )}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A] time = 0.11, size = 146, normalized size = 0.87 \[ \frac {70 e x \left (5 d^2-2 d e+3 e^2\right ) (e (10 x-33)-20 d)+1750 \left (4 d^4+5 d^3 e+3 d^2 e^2-d e^3+2 e^4\right ) \log (d+e x)+7 e^3 (458 d-7 e) \log \left (5 x^2+2 x+3\right )-\sqrt {14} e^3 (423 d-1367 e) \tan ^{-1}\left (\frac {5 x+1}{\sqrt {14}}\right )}{1750 e^3 \left (5 d^2-2 d e+3 e^2\right )} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [A] time = 1.00, size = 171, normalized size = 1.02 \[ \frac {700 \, {\left (5 \, d^{2} e^{2} - 2 \, d e^{3} + 3 \, e^{4}\right )} x^{2} - \sqrt {14} {\left (423 \, d e^{3} - 1367 \, e^{4}\right )} \arctan \left (\frac {1}{14} \, \sqrt {14} {\left (5 \, x + 1\right )}\right ) - 70 \, {\left (100 \, d^{3} e + 125 \, d^{2} e^{2} - 6 \, d e^{3} + 99 \, e^{4}\right )} x + 1750 \, {\left (4 \, d^{4} + 5 \, d^{3} e + 3 \, d^{2} e^{2} - d e^{3} + 2 \, e^{4}\right )} \log \left (e x + d\right ) + 7 \, {\left (458 \, d e^{3} - 7 \, e^{4}\right )} \log \left (5 \, x^{2} + 2 \, x + 3\right )}{1750 \, {\left (5 \, d^{2} e^{3} - 2 \, d e^{4} + 3 \, e^{5}\right )}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [A] time = 0.22, size = 158, normalized size = 0.94 \[ \frac {1}{25} \, {\left (10 \, x^{2} e - 20 \, d x - 33 \, x e\right )} e^{\left (-2\right )} - \frac {\sqrt {14} {\left (423 \, d - 1367 \, e\right )} \arctan \left (\frac {1}{14} \, \sqrt {14} {\left (5 \, x + 1\right )}\right )}{1750 \, {\left (5 \, d^{2} - 2 \, d e + 3 \, e^{2}\right )}} + \frac {{\left (458 \, d - 7 \, e\right )} \log \left (5 \, x^{2} + 2 \, x + 3\right )}{250 \, {\left (5 \, d^{2} - 2 \, d e + 3 \, e^{2}\right )}} + \frac {{\left (4 \, d^{4} + 5 \, d^{3} e + 3 \, d^{2} e^{2} - d e^{3} + 2 \, e^{4}\right )} \log \left ({\left | x e + d \right |}\right )}{5 \, d^{2} e^{3} - 2 \, d e^{4} + 3 \, e^{5}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [A] time = 0.01, size = 298, normalized size = 1.77 \[ \frac {4 d^{4} \ln \left (e x +d \right )}{\left (5 d^{2}-2 d e +3 e^{2}\right ) e^{3}}+\frac {5 d^{3} \ln \left (e x +d \right )}{\left (5 d^{2}-2 d e +3 e^{2}\right ) e^{2}}+\frac {3 d^{2} \ln \left (e x +d \right )}{\left (5 d^{2}-2 d e +3 e^{2}\right ) e}-\frac {423 \sqrt {14}\, d \arctan \left (\frac {\left (10 x +2\right ) \sqrt {14}}{28}\right )}{70 \left (125 d^{2}-50 d e +75 e^{2}\right )}-\frac {d \ln \left (e x +d \right )}{5 d^{2}-2 d e +3 e^{2}}+\frac {229 d \ln \left (5 x^{2}+2 x +3\right )}{5 \left (125 d^{2}-50 d e +75 e^{2}\right )}+\frac {1367 \sqrt {14}\, e \arctan \left (\frac {\left (10 x +2\right ) \sqrt {14}}{28}\right )}{70 \left (125 d^{2}-50 d e +75 e^{2}\right )}+\frac {2 e \ln \left (e x +d \right )}{5 d^{2}-2 d e +3 e^{2}}-\frac {7 e \ln \left (5 x^{2}+2 x +3\right )}{10 \left (125 d^{2}-50 d e +75 e^{2}\right )}+\frac {2 x^{2}}{5 e}-\frac {4 d x}{5 e^{2}}-\frac {33 x}{25 e} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [A] time = 0.96, size = 160, normalized size = 0.95 \[ -\frac {\sqrt {14} {\left (423 \, d - 1367 \, e\right )} \arctan \left (\frac {1}{14} \, \sqrt {14} {\left (5 \, x + 1\right )}\right )}{1750 \, {\left (5 \, d^{2} - 2 \, d e + 3 \, e^{2}\right )}} + \frac {{\left (4 \, d^{4} + 5 \, d^{3} e + 3 \, d^{2} e^{2} - d e^{3} + 2 \, e^{4}\right )} \log \left (e x + d\right )}{5 \, d^{2} e^{3} - 2 \, d e^{4} + 3 \, e^{5}} + \frac {{\left (458 \, d - 7 \, e\right )} \log \left (5 \, x^{2} + 2 \, x + 3\right )}{250 \, {\left (5 \, d^{2} - 2 \, d e + 3 \, e^{2}\right )}} + \frac {10 \, e x^{2} - {\left (20 \, d + 33 \, e\right )} x}{25 \, e^{2}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 6.39, size = 713, normalized size = 4.24 \[ \frac {2\,x^2}{5\,e}-\ln \left (d+e\,x\right )\,\left (\frac {\frac {458\,d}{125}-\frac {7\,e}{125}}{5\,d^2-2\,d\,e+3\,e^2}-\frac {100\,d^2+165\,d\,e+81\,e^2}{125\,e^3}\right )-x\,\left (\frac {4\,\left (5\,d+2\,e\right )}{25\,e^2}+\frac {1}{e}\right )-\frac {\ln \left (\frac {-28\,d^3+1053\,d^2\,e+1791\,d\,e^2+916\,e^3}{25\,e^2}-\frac {x\,\left (1832\,d^3+2318\,d^2\,e+321\,d\,e^2-2249\,e^3\right )}{25\,e^2}+\frac {\left (d\,\left (\frac {423\,\sqrt {14}}{3500}-\frac {229}{125}{}\mathrm {i}\right )-e\,\left (\frac {1367\,\sqrt {14}}{3500}-\frac {7}{250}{}\mathrm {i}\right )\right )\,\left (\frac {-1000\,d^4+4350\,d^3\,e+8490\,d^2\,e^2+4751\,d\,e^3+874\,e^4}{25\,e^2}+\frac {x\,\left (-5000\,d^4-6250\,d^3\,e+1850\,d^2\,e^2+8200\,d\,e^3+2917\,e^4\right )}{25\,e^2}-\frac {\left (\frac {1250\,d^2\,e^3-14500\,d\,e^4+750\,e^5}{25\,e^2}-\frac {x\,\left (-6250\,d^2\,e^3+2500\,d\,e^4+10250\,e^5\right )}{25\,e^2}\right )\,\left (d\,\left (\frac {423\,\sqrt {14}}{3500}-\frac {229}{125}{}\mathrm {i}\right )-e\,\left (\frac {1367\,\sqrt {14}}{3500}-\frac {7}{250}{}\mathrm {i}\right )\right )}{d^2\,5{}\mathrm {i}-d\,e\,2{}\mathrm {i}+e^2\,3{}\mathrm {i}}\right )}{d^2\,5{}\mathrm {i}-d\,e\,2{}\mathrm {i}+e^2\,3{}\mathrm {i}}\right )\,\left (d\,\left (\frac {423\,\sqrt {14}}{3500}-\frac {229}{125}{}\mathrm {i}\right )-e\,\left (\frac {1367\,\sqrt {14}}{3500}-\frac {7}{250}{}\mathrm {i}\right )\right )}{d^2\,5{}\mathrm {i}-d\,e\,2{}\mathrm {i}+e^2\,3{}\mathrm {i}}+\frac {\ln \left (\frac {-28\,d^3+1053\,d^2\,e+1791\,d\,e^2+916\,e^3}{25\,e^2}-\frac {x\,\left (1832\,d^3+2318\,d^2\,e+321\,d\,e^2-2249\,e^3\right )}{25\,e^2}-\frac {\left (d\,\left (\frac {423\,\sqrt {14}}{3500}+\frac {229}{125}{}\mathrm {i}\right )-e\,\left (\frac {1367\,\sqrt {14}}{3500}+\frac {7}{250}{}\mathrm {i}\right )\right )\,\left (\frac {-1000\,d^4+4350\,d^3\,e+8490\,d^2\,e^2+4751\,d\,e^3+874\,e^4}{25\,e^2}+\frac {x\,\left (-5000\,d^4-6250\,d^3\,e+1850\,d^2\,e^2+8200\,d\,e^3+2917\,e^4\right )}{25\,e^2}+\frac {\left (\frac {1250\,d^2\,e^3-14500\,d\,e^4+750\,e^5}{25\,e^2}-\frac {x\,\left (-6250\,d^2\,e^3+2500\,d\,e^4+10250\,e^5\right )}{25\,e^2}\right )\,\left (d\,\left (\frac {423\,\sqrt {14}}{3500}+\frac {229}{125}{}\mathrm {i}\right )-e\,\left (\frac {1367\,\sqrt {14}}{3500}+\frac {7}{250}{}\mathrm {i}\right )\right )}{d^2\,5{}\mathrm {i}-d\,e\,2{}\mathrm {i}+e^2\,3{}\mathrm {i}}\right )}{d^2\,5{}\mathrm {i}-d\,e\,2{}\mathrm {i}+e^2\,3{}\mathrm {i}}\right )\,\left (d\,\left (\frac {423\,\sqrt {14}}{3500}+\frac {229}{125}{}\mathrm {i}\right )-e\,\left (\frac {1367\,\sqrt {14}}{3500}+\frac {7}{250}{}\mathrm {i}\right )\right )}{d^2\,5{}\mathrm {i}-d\,e\,2{}\mathrm {i}+e^2\,3{}\mathrm {i}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [F(-1)] time = 0.00, size = 0, normalized size = 0.00 \[ \text {Timed out} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________